perm filename NEVAL.TRC[206,LSP] blob
sn#126378 filedate 1974-10-18 generic text, type T, neo UTF8
*(NEVAL TEST NIL)
ENTER NEVAL:
! E = ((LAMBDA (A B) ((LAMBDA (B C) (CONS B C)) A B)) 1 2)
! A = NIL
! ENTER NEVAL:
! ! E = ((LAMBDA (B C) (CONS B C)) A B)
! ! A = ((A . 1) (B . 2))
! ! ENTER NEVAL:
! ! ! E = (CONS B C)
! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ENTER NEVAL:
! ! ! ! E = B
! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ENTER NEVAL:
! ! ! ! ! E = A
! ! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ! ENTER NEVAL:
! ! ! ! ! ! E = 1
! ! ! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ! NEVAL = 1
! ! ! ! NEVAL = 1
! ! ! NEVAL = 1
! ! ! ENTER NEVAL:
! ! ! ! E = C
! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ENTER NEVAL:
! ! ! ! ! E = B
! ! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ! ENTER NEVAL:
! ! ! ! ! ! E = A
! ! ! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ! ! ENTER NEVAL:
! ! ! ! ! ! ! E = 1
! ! ! ! ! ! ! A = ((B . A) (C . B) (A . 1) (B . 2))
! ! ! ! ! ! NEVAL = 1
! ! ! ! ! NEVAL = 1
! ! ! ! NEVAL = 1
! ! ! NEVAL = 1
! ! NEVAL = (1 . 1)
! NEVAL = (1 . 1)
NEVAL = (1 . 1)
(1 . 1)
*